Search results for "Experimental mathematics"
showing 2 items of 2 documents
Razonamientos no rigurosos y demostraciones asistidas por ordenador
2007
RESUMENPresentamos la contribución de Th. Tymoczko a la filosofía de la matemática y analizamos y evaluamos las demostraciones asistidas por ordenador y los razonamientos no rigurosos en la matemática experimental, con particular referencia al Teorema de los Cuatro Colores.PALABRAS CLAVETYMOCZKO – CUASI-EMPIRISMO – MATEMÁTICA EXPERIMENTAL – RAZONAMIENTO NO RIGUROSO – DEMOSTRACIONES ASISTIDAS POR ORDENADORABSTRACTWe present Th. Tymoczko’s contribution to the philosophy of mathematics, and we analyze and evaluate the computer-assisted proofs and the non-rigorous reasonings in the experimental mathematics, particularly in reference to the Four-Colour Theorem.KEYWORDTYMOCZKO – QUASI-EMPIRICISM …
Tools, Human Development and Mathematics
2016
This chapter raises a number of issues from pre-history and history that one mathematics educator considers ‘worthy of mention’ with regard to tools and mathematics. These issues are: tool use in the development of the human species (phylogenesis); tool use in a mathematical culture, ancient Greek mathematics that goes beyond the obvious tools; an example from ancient Indian mathematics that bears some resemblances to Jon’s experimental mathematics described in Chap. 3; the mutual support of hand, mind and artefact in expert use of an abacus; a consideration of a period (sixteenth-century Europe) where there was a rapid advance in the development of mathematical tools.